1. Automated deduction in classical and non-classical logics : selected papers
پدیدآورنده : Ricardo Caferra, Gernot Salzer )eds.(
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1761